home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseApplication;
- import com.extensibility.app.Desktop;
- import java.awt.event.WindowAdapter;
- import java.awt.event.WindowEvent;
-
- class Welcome$7 extends WindowAdapter {
- // $FF: synthetic field
- final Welcome this$0;
-
- public void windowClosing(WindowEvent var1) {
- if (Desktop.getWindows().size() == 0) {
- BaseApplication.getApplication().exitApplication(var1);
- }
-
- }
-
- Welcome$7(Welcome var1) {
- this.this$0 = var1;
- }
- }
-